operations on real numbers